pub mod tests {
    use crate::U256;
    #[allow(non_upper_case_globals)]
    pub const dx1: U256 = U256::new(
        0x456490a734454105,
        0x434764fd47d6fdd,
        0x1a3fc4b41b76d16e,
        0x1ba56e21c7de3566,
    );
    #[allow(non_upper_case_globals)]
    pub const dx1_m: U256 = U256::new(
        0x1AD45406695959BF,
        0x6BF3B5B2A438343A,
        0xEDE6463B267CFFB7,
        0xA075994EE7B819D7,
    );
    #[allow(non_upper_case_globals)]
    pub const dx1_n: U256 = U256::new(
        0xAE5AADA7AD940211,
        0x6E4B080DBA813AD3,
        0xD00C3C040306A4CB,
        0x345F5B35C438805E,
    );
    #[allow(non_upper_case_globals)]
    pub const dx1_sq: U256 = U256::new(
        0xDE4FFD3479C43DAF,
        0xD6FE7527635F3FA4,
        0x797F88275F3E98CE,
        0xB7EAE38431EFECB7,
    );
    #[allow(non_upper_case_globals)]
    pub const dy1: U256 = U256::new(
        0xeec161d863c875c1,
        0x94455772c85a4af3,
        0x145072ff099a874e,
        0xb3c27563f4adad8e,
    );
    #[allow(non_upper_case_globals)]
    pub const dx2: U256 = U256::new(
        0xca65051fa6e050ff,
        0xdfa90a9f302318d6,
        0xc9cbff54adc5ef1b,
        0x6a63d715c7faa226,
    );
    #[allow(non_upper_case_globals)]
    pub const dy2: U256 = U256::new(
        0x158ea8d9c0a5601c,
        0x706e149f68929555,
        0xc595111bdd1514d,
        0x52ca2e119967eeef,
    );
    #[allow(non_upper_case_globals)]
    pub const x1_inv: U256 = U256::new(
        0xc8e6f24a12b6be53,
        0xd38d81d6e013b90a,
        0x9c1cb188f2a91d75,
        0xb8936229cd327d3a,
    );
    #[allow(non_upper_case_globals)]
    pub const x2_inv: U256 = U256::new(
        0xe258fda37352c178,
        0x3e87218e3e2cfd07,
        0xfa88a9e1fabcd344,
        0x9bab218bea302819,
    );
    #[allow(non_upper_case_globals)]
    pub const dx3: U256 = U256::new(
        0xd7731e82c7bad690,
        0x02df40e54cf5b276,
        0x5ff5c92c30e3444c,
        0xf201d844ba3e9888,
    );
    #[allow(non_upper_case_globals)]
    pub const dy3: U256 = U256::new(
        0x8599d7a8a10da37b,
        0x785a72ba5b4dd000,
        0x0461357c00065ca1,
        0xca0f618bf18fd27b,
    );
    #[allow(non_upper_case_globals)]
    pub const dz3: U256 = U256::new(
        0x85007478729b0ffa,
        0xdb74944f5ba5a8f9,
        0xaf8c3aa0924f1dad,
        0x4ebe68f4001c6cc0,
    );
    #[allow(non_upper_case_globals)]
    pub const x1x1: U256 = U256::new(
        0xc5e0b83c849c9973,
        0xe5069289576049ef,
        0xd5ebe7339cb40052,
        0xe15dcc87234dc74d,
    );
    #[allow(non_upper_case_globals)]
    pub const y1y1: U256 = U256::new(
        0x544dcd8f0cdf4ec8,
        0xc4870641ced55afc,
        0xf6a42b3e5ca6afc8,
        0x575fea61de0e329f,
    );
    #[allow(non_upper_case_globals)]
    pub const z1z1: U256 = U256::new(
        0xdd82c3b0c790eb83,
        0x288aaee690b495e6,
        0x28a0e5fe13350e9d,
        0x6784eac8e95b5b1c,
    );
    #[allow(non_upper_case_globals)]
    pub const d1d: U256 = U256::new(
        0x3f53eddad6d9c892,
        0xa4e68fd3a5be28ad,
        0xe7fdfc0c48f4ac1d,
        0x44960d13c3ae7889,
    );
    #[allow(non_upper_case_globals)]
    pub const d2d: U256 = U256::new(
        0x5573bb6ec8c5d96f,
        0x49602ebaa885202a,
        0x47d7d0eddd094949,
        0xb68c5c25852521c6,
    );
    #[allow(non_upper_case_globals)]
    pub const d1Gx: U256 = U256::new(
        0x68e8ded5dbec39ca,
        0x3c3c6c2f18c0e55b,
        0xf7f9188477f6086a,
        0xafe524a88091d6da,
    );
    #[allow(non_upper_case_globals)]
    pub const d1Gy: U256 = U256::new(
        0x6f18b74046a55994,
        0xaf60d71184a4ca53,
        0xf176066831aad5c2,
        0x8d837895a7dc179e,
    );
    #[allow(non_upper_case_globals)]
    pub const d2Gx: U256 = U256::new(
        0xca9ad478f1770dad,
        0x6c0a05bb2f2c9125,
        0x8baaa8adfa83e460,
        0x684446fbee5167ef,
    );
    #[allow(non_upper_case_globals)]
    pub const d2Gy: U256 = U256::new(
        0xf28e513642bf309,
        0x4f8d6bfa6a6846c,
        0xf9965b00c6d87aff,
        0xc7337843bdb886bf,
    );
}
